Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
431	Geometric diffusions as a tool for harmonic analysis and structure definition of data: Multiscale methods R. R. Coifman†, S. Lafon, A. B. Lee, M. Maggioni, B. Nadler, F. Warner, and S. W. Zucker‡ Department of Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English* - Date: 2006-02-15 16:01:47 Algebra Diffusion wavelets Fast wavelet transform Multiresolution analysis Eigenfunction Laplace operator Inner product space Partial differential equation Prolate spheroidal wave functions Mathematical analysis Wavelets Mathematics
432	The mathematical structure of theories of resource convertibility I Abstract. Resources and their use and consumption form a central part of our life. Many branches of science and engineering are concerned with the ques Add to Reading List Source URL: perimeterinstitute.ca Language: English - Date: 2015-04-13 19:12:55 Algebraic structures Monoid Grothendieck group Adjoint functors Category Ring Semigroup Functor Function Abstract algebra Mathematics Algebra
433	Geometric diffusions as a tool for harmonic analysis and structure definition of data: Diffusion maps R. R. Coifman†, S. Lafon, A. B. Lee, M. Maggioni, B. Nadler, F. Warner, and S. W. Zucker‡ Department of Mat Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English* - Date: 2006-02-15 16:01:29 Linear algebra Multivariable calculus Differential operators Fourier analysis Stochastic differential equations Nonlinear dimensionality reduction Laplace operator Heat equation Eigenvalues and eigenvectors Mathematical analysis Mathematics Calculus
434	ARTICLE Received 4 Dec 2012 \| Accepted 30 Apr 2013 \| Published 4 Jun 2013 DOI: ncomms2961 Urban characteristics attributable to Add to Reading List Source URL: web.media.mit.edu Language: English - Date: 2015-03-20 10:58:02 Structure Community building Network theory Networks Complex contagion Interpersonal ties Mathematical model Social capital Scale Science Sociology Social networks
435	10 FILE:SLA02_doc.rtf DATE: STRUCTURE: SLA02(MEGASTRUCTURE) Add to Reading List Source URL: denali.gsfc.nasa.gov Language: English Noise Wave Mathematical analysis Physics Amplitude Sound
436	Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod (System Description)∗ Jasmin Christian Blanchette Technische Universität München Garching, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-10-25 11:45:35 Mathematical logic Model theory Formal languages Formal methods Logical syntax Structure Isabelle Logic programming Automated theorem proving Mathematics Logic Metalogic
437	ENCODING MONOMORPHIC AND POLYMORPHIC TYPES JASMIN CHRISTIAN BLANCHETTE, SASCHA BÖHME, ANDREI POPESCU, AND NICHOLAS SMALLBONE Inria & LORIA, Nancy, France; Max-Planck-Institut für Informatik, Saarbrücken, Germany e-mai Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-25 16:36:05 Metalogic Symbol Structure Interpretation First-order logic Functional predicate Model theory Logic Mathematical logic
438	A STAR-SPANGLED CELEBRATION Add to Reading List Source URL: www.shawneepress.com Language: English - Date: 2008-12-20 09:26:00 Oregon Ballot Measures 37 (2004) and 49 Beat Structure Mathematical analysis Measure Salute
439	Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Structure Interpretation First-order logic Symbol Permutation Signature Parity of a permutation Combinatorial species Mathematics Model theory Logic
440	Journal of Business Finance & Accounting, 27(7) & (8), Sept./Oct. 2000, 0306-686X A New Stochastic Duration Based on the Vasicek and CIR Term Structure Theories Xueping Wu* Add to Reading List Source URL: personal.cityu.edu.hk Language: English - Date: 2008-10-02 11:38:35 Mathematical finance Interest rates Economics Finance Stochastic processes Bond valuation Cox–Ingersoll–Ross model Bond duration Yield curve Fixed income analysis Financial economics Bonds

UPDATE